;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(interface Ii/o
  (sig insert-record (tree line))
  (sig read-stocks-file (f-in))
  (sig execute-query (query tree))
  (sig read-queries-and-execute (f-in tree))
  (sig read-files-write-output (f-stocks f-queries f-out)))